home *** CD-ROM | disk | FTP | other *** search
Text File | 1997-08-18 | 913 b | 28 lines | [TEXT/Moml] |
- (* BasicIO -- non-standard, will be replaced by BinIO and TextIO *)
-
- type instream and outstream;
-
- val std_in : instream;
- val open_in : string -> instream;
- val open_in_bin : string -> instream;
- val input : instream * int -> string;
- val inputc : instream -> int -> string;
- val lookahead : instream -> string;
- val close_in : instream -> unit;
- val end_of_stream : instream -> bool;
-
- val std_out : outstream;
- val std_err : outstream;
- val open_out : string -> outstream;
- val open_out_bin : string -> outstream;
- val output : outstream * string -> unit;
- val outputc : outstream -> string -> unit;
- val close_out : outstream -> unit;
- val flush_out : outstream -> unit;
- val input_line : instream -> string;
- val can_input : instream * int -> bool;
- val open_append : string -> outstream;
-
- val exit : int -> 'a
- val print : string -> unit
-